Real-time Simulation

This article will show a new method to simulate specifications of real-time communicating systems, by using process execution trees. These self-transforming structures can be translated to e.g. C++ and allow simulations, synchronised with the real world time. Simulating specifications with process execution trees is discussed for the well-known process algebra CCS. The described method of process execution trees seems to be generic enough to be expanded to describe several other process algebras, such as CSP, or POOSL which allows specifying real-time behaviour and imposing architectural aspects (i.e. hierarchy and channels across which concurrent processes can communicate.) Keywords— Scheduling, Real-time, Concurrent, Process algebra, Simulation